Issue555.agda:5,10-11
Unexpected parameter Γ
when checking the definition of Exp
